Motivation & Introduction To Propositional Logic